Depth+ and Length+ of Boolean Algebras

نویسنده

  • SHIMON GARTI
چکیده

Suppose κ = cf(κ), λ > cf(λ) = κ and λ = λ. We prove that there exist a sequence 〈Bi : i < κ〉 of Boolean algebras and an ultrafilterD on κ so that λ = ∏ i<κ Depth(Bi)/D < Depth ( ∏ i<κ Bi/D) = λ . An identical result holds also for Length. The proof is carried in ZFC, and it holds even above large cardinals. 2010 Mathematics Subject Classification. Primary: 06E05, 03G05. Secondary: 03E45.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Filter theory in MTL-algebras based on Uni-soft property

‎The notion of (Boolean) uni-soft filters‎ ‎in MTL-algebras is introduced‎, ‎and several properties of them are‎ ‎investigated‎. ‎Characterizations of (Boolean) uni-soft filters are discussed‎, ‎and some (necessary and sufficient) conditions‎ ‎for a uni-soft filter to be Boolean are provided‎. ‎The condensational property for a Boolean uni-soft filter is established.

متن کامل

On some classes of expansions of ideals in $MV$-algebras

In this paper, we introduce the notions of expansion of ideals in $MV$-algebras, $ (tau,sigma)- $primary, $ (tau,sigma)$-obstinate  and $ (tau,sigma)$-Boolean  in $ MV- $algebras. We investigate the relations of them. For example, we show that every $ (tau,sigma)$-obstinate ideal of an $ MV-$ algebra is $ (tau,sigma)$-primary  and $ (tau,sigma)$-Boolean. In particular, we define an expansion $ ...

متن کامل

Omega-almost Boolean rings

In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.

متن کامل

Characterizing the Computable Structures: Boolean Algebras and Linear Orders

A countable structure (with finite signature) is computable if its universe can be identified with ω in such a way as to make the relations and operations computable functions. In this thesis, I study which Boolean algebras and linear orders are computable. Making use of Ketonen invariants, I study the Boolean algebras of low Ketonen depth, both classically and effectively. Classically, I give ...

متن کامل

On Depth and Depth+ of Boolean Algebras

We show that the Depth of an ultraproduct of Boolean Algebras cannot jump over the Depth of every component by more than one cardinal. Consequently we have similar results for the Depth invariant.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013